Temporal Logics for Hyperproperties Michael R. Clarkson1 , Bernd Finkbeiner2 , Masoud Koleini1 , Kristopher K. Micinski3 , Markus N. Rabe2 , and C´esar S´anchez4 1 3

Source URL: software.imdea.org

• Mathematical logic
• Philosophical logic
• Predicate logic
• Constructible universe
• Quantification
• Model theory
• Logic
• Temporal logic
• Linear temporal logic

IEEE TRANSACTIONS ON MEDICAL IMAGING, VOL. 26, NO. 4, APRILClassification Based on Cortical Folding Patterns Edouard Duchesnay*, Arnaud Cachia, Alexis Roche, Denis Rivière, Yann Cointepas,

Source URL: brainvisa.info

• Multivariate statistics
• Model selection
• Brain
• Linear discriminant analysis
• Sulcus
• Linear classifier
• Cross-validation
• Feature selection
• Support vector machine
• Statistics
• Machine learning
• Statistical classification

FINAL REV DRAFT Case #26-Genotoxicity/Mutagenicity and Dose-Response Assessment TERA project: Beyond Science and Decisions: Problem Formulation to Dose-Response

Source URL: allianceforrisk.org

• Radiobiology
• Oncology
• Genetics
• Radioactivity
• Mutagenesis
• Linear no-threshold model
• Ionizing radiation
• Mutagen
• DNA repair
• Medicine
• Biology
• Mutation

A New Methodology for Modelling Stochastically the Time to Capsize Qi Chen, Andrzej Jasionowski, The Ship Stability Research Centre, Department of Naval Architecture and Mari

Source URL: floodstand.aalto.fi

• Statistical theory
• Statistical models
• Bayesian inference
• Capsizing
• Markov chain
• Normal distribution
• Generalized linear model
• Bayesian linear regression
• Probit
• Statistics
• Bayesian statistics
• Regression analysis

CENTRAL BANK OF ICELAND WORKING PAPERS No. 2 A MODEL OF INFLATION WITH VARIABLE TIME LAGS

Source URL: www.cb.is

• Inflation
• Time series analysis
• Estimation theory
• Parametric statistics
• Linear regression
• Autoregressive conditional heteroskedasticity
• Heteroscedasticity
• Consumer Price Index
• Monetary inflation
• Statistics
• Economics
• Econometrics

RESEARCH The economic impacts of climate change on the Chilean agricultural sector. A non-linear agricultural supply model Roberto Ponce1*, Maria Blanco2, and Carlo Giupponi3

Source URL: www.chileanjar.cl

Department of economics and society, Dalarna University

Source URL: www.statistics.du.se

• Land transport
• Car sharing
• Generalized linear model
• Opel Corsa
• Linear regression
• GLIM
• Ordinary least squares
• Least squares
• Generalized linear mixed model
• Statistics
• Transport
• Regression analysis

Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email:

Source URL: software.imdea.org

• Computer science
• Büchi automaton
• Linear temporal logic
• Symbol
• Complementation of Büchi automaton
• Automata theory
• Theoretical computer science
• Formal methods

DELFT UNIVERSITY OF TECHNOLOGY REPORTOn the statistical properties of solutions of completely random linear systems. Peter Sonneveld

Source URL: www.ewi.tudelft.nl

• Gaussian network model
• Gamma function
• Stochastic differential equations
• Stochastic processes
• Complex normal distribution
• Mathematical analysis
• Statistics
• Normal distribution

The Actual Problem of Microworld Physics, July 23 - August, Gomel, Belarus Hydrogenlike systems in Poincare-covariant model Viktor Andreev Department of Theoretical Physics, Gomel State University

Source URL: gomelschool.hep.by

• Matrix theory
• Linear algebra
• Abstract algebra
• Eigenvalues and eigenvectors
• Singular value decomposition
• Quantum field theory
• Algebra
• Mathematics
• Mathematical physics